241. State-Space Search :
پدیدآورنده : by Weixiong Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA402
.
B994
1999
242. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
243. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Stochastic approximation.,Recursive functions.,Algorithms.
رده :
QA
,
274
.
2
,.
K88
,
2003
244. Stochastic approximation and recursive algorithms and applications-]CD[
پدیدآورنده : Kushner, Harold J. )Harold Joseph(, Harold J. Kushner, G. George Yin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Stochastic approximation,، Recursive functions,، Algorithms
رده :
CD
1744-
245. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
246. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
E-BOOK
247. Stochastic approximation and recursive algorithms and applications
پدیدآورنده : / Harold J. Kushner, G. George Yin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic approximation,Recursive functions,Algorithms
رده :
QA274
.
2
.
K88
2003
248. Stochastic approximation and recursive algorithms and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Stochastic approximation. ; Recursive functions. ; Algorithms. ;
249. Stochastic processes
پدیدآورنده : edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Stochastic processes,Estimation theory,Mathematical optimization,Recursive functions
رده :
EBOOK
,
QA
.
N35
274
2004
250. Stochastic processes :
پدیدآورنده : edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Estimation theory,Mathematical optimization,Recursive functions,Stochastic processes
رده :
QA274
.
N35
2004
251. Stochastic processes
پدیدآورنده : / edited by Kaddour Najim, Enso Ikonen, & Ait-Kadi Daoud
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Stochastic processes,Estimation theory,Mathematical optimization,Recursive functions
رده :
QA274
.
N35
2004
252. Stochasticity and Intramolecular Redistribution of Energy
پدیدآورنده : edited by R. Lefebvre, S. Mukamel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry, Physical organic.,Physics.
253. Symbolic and Algebraic Computation :
پدیدآورنده : edited by Edward W. Ng.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
254. Synthesis of digital designs from recursion equations
پدیدآورنده : Johnson, Steven D, Steven Dexter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Digital electronics-- Data processing,، Electronic circuit design-- Data processing,، Recursive functions
رده :
TK
7868
.
D5
.
J64
1984
255. SystemVerilog assertions and functional coverage
پدیدآورنده : / Ashok B. Mehta
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
رده :
E-BOOK
256. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
257. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
258. The Python workbook :
پدیدآورنده : Ben Stephenson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Python (Computer program language)
رده :
QA76
.
73
.
P98
259. The Python workbook :
پدیدآورنده : Ben Stephenson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Langage de programmation)
رده :
QA76
.
73
.
P98
260. The Queen of Mathematics :
پدیدآورنده : by W.S. Anglin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry.,Mathematics.,Number theory.
